ACME vs PDDL: support for dynamic reconfiguration of software architectures

On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL is a predicative language for the description of planning problems. It has been designed in the AI community for the International Planning Competition of the ICAPS conferences. Several related works have already proposed to encode software architectures into PDDL. Existing planning algorithms can then be used in order to generate automatically a plan that updates an architecture to another one, i.e., the program of a recon guration. In this paper, we improve the encoding in PDDL. Noticeably we propose how to encode ADL types and constraints in the PDDL representation. That way, we can statically check our design and express PDDL constraints in order to ensure that the generated plan never goes through any bad or inconsistent architecture, not even temporarily.Comment: 6\`eme \'edition de la Conf\'erence Francophone sur les Architectures Logicielles (CAL 2012), Montpellier : France (2012

New service development (NSD) process in the collaborative networks context : a study of NSD performance factors across its different stage

Tese de Doutoramanto. Engenharia Industrial e Gestão. Faculdade de Engenharia. Universidade do Porto. 201

Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration. Indeed ADLs (architecture description languages) let architects describe the elements that could be reconfigured as well as the set of constraints to which the system must conform during reconfiguration. In this work, we investigate the ADL literature in order to illustrate how reconfiguration is supported in four well-known ADLs: pi-ADL, ACME, C2SADL and Dynamic Wright. From this review, we conclude that none of these ADLs: (i) addresses the issue of consistently reconfiguring both instances and types; (ii) takes into account the behaviour of architectural elements during reconfiguration; and (iii) provides support for assessing reconfiguration, e.g., verifying the transition against properties.Comment: 6\`eme Conf\'erence francophone sur les architectures logicielles (CAL'2012), Montpellier : France (2012

Protagonismo juvenil: cooptação ou emancipação dos jovens?

O presente artigo tem como objetivo problematizar o conceito de “protagonismo juvenil” e propor sua ressignificação de maneira a afastá-lo do sentido neoliberal e endosso dessa ordem socioeconômica, tornando-o uma forma de emancipação dos jovens. Discussão bibliográfica– Souza (2017) e Ferretti et al. (2004) –e de documentos curriculares da educação– Currículo da Cidade de São Paulo (2017) e Base Nacional Comum Curricular (2018) –, e apresentação de resultados de estudo de caso constituem a metodologia utilizada. Traçando um histórico dos sentidos do protagonismo e sua circulação por documentos nacionais e internacionais e organizações da sociedade civil, nestas últimas a partir dos trabalhos do pedagogo Antônio Carlos Gomes da Costa, apontamos sua acolhida pela escola e o sentido que adquire na prática de uma escola municipal de ensino fundamental localizada em São Paulo que, apesar de não conceituar o termo em seu Projeto Político Pedagógico, deixando espaço para múltiplas interpretações, se contrapõe à cooptação

A utilização dos e-services como ferramenta para obtenção de vantagem competitiva nas organizações : estudo de casos múltiplos

Tese de mestrado. Gestão de Informação. Faculdade de Engenharia. Universidade do Porto. 200

Atos de improbidade administrativa e a sua judicialização: um estudo de caso no município de Triunfo-PB

O presente artigo teve como propósito analisar os atos de improbidade administrativa praticados pelos gestores públicos do município de Triunfo-PB, com base nos processos judiciais instaurados no âmbito da Justiça Estadual e da Justiça Federal da Paraíba. No tocante a metodologia utilizada, partiu-se de uma pesquisa de campo, pautada em aspectos teóricos e documentais, com abordagem qualitativa, e com o instrumento da observação no ambiente de coleta de dados. Buscou-se, portanto, identificar as condutas ímprobas e desonestas por eles executadas, e quais os impactos financeiros que a prática desses atos ocasionou ao município. Foram constatadas diversas fraudes em processos licitatórios, que configuram espécie de atos de improbidade administrativa que causam danos ao erário, previstos no artigo 10 da Lei nº 8.429/92. Por conseguinte, os impactos financeiros advindos da prática de tais condutas geraram reflexos desastrosos ao erário, uma vez que as verbas públicas desviadas foram elevadas e, por isso, resultou na má prestação dos serviços. Por fim, ressalta-se a relevância da presente pesquisa, pois possibilita a população como um todo ter conhecimento das condutas ímprobas praticadas por gestores públicos, que deveriam atuar com ética e moral na Administração Pública

Mastering interactions with Internet of Things platforms through the IoTVar middleware

International audienceThe rising popularity of the Internet of Things (IoT) has led to a plethora of highly heterogeneous, geographically dispersed devices. In recent years, IoT platforms have been used to provide a variety of services to applications such as device discovery, context management, and data analysis. However, the lack of standardization currently means that each IoT platform comes with its own abstractions, APIs, and interactions. As a consequence, programming the interactions between an application and an IoT platform is often time consuming, error prone, and depends on the developers' level of knowledge about the IoT platform. To address these issues, we propose offering to application developers on the client side the possibility to declare variables that are automatically mapped to sensors and whose values are transparently updated with sensor observations. For this purpose, we introduce IoTVar, a middleware between IoT applications and platforms. In IoTVar, all the necessary interactions with IoT platforms are managed by proxies. This paper presents IoTVar integrated with the FIWARE platform, which is used for developing IoT Future Internet applications. We also report results of some experiments performed to evaluate IoTVar, showing IoTVar reduces the effort required to declare and manage IoT variables and its impact in terms of CPU, memory, and energy

Dynamic decision-making based on NFR for managing software variability and configuration selection

Due to dynamic variability, identifying the specific conditions under which non-functional requirements (NFRs) are satisfied may be only possible at runtime. Therefore, it is necessary to consider the dynamic treatment of relevant information during the requirements specifications. The associated data can be gathered by monitoring the execution of the application and its underlying environment to support reasoning about how the current application configuration is fulfilling the established requirements. This paper presents a dynamic decision-making infrastructure to support both NFRs representation and monitoring, and to reason about the degree of satisfaction of NFRs during runtime. The infrastructure is composed of: (i) an extended feature model aligned with a domain-specific language for representing NFRs to be monitored at runtime; (ii) a monitoring infrastructure to continuously assess NFRs at runtime; and (iii) a exible decision-making process to select the best available configuration based on the satisfaction degree of the NRFs. The evaluation of the approach has shown that it is able to choose application configurations that well fit user NFRs based on runtime information. The evaluation also revealed that the proposed infrastructure provided consistent indicators regarding the best application configurations that fit user NFRs. Finally, a benefit of our approach is that it allows us to quantify the level of satisfaction with respect to NFRs specification

SoS-centric Middleware Services for Interoperability in Smart Cities Systems

Modern cities are supported by many IT systems managed by distinct public and private agents. Such legacy systems are often incompatible since, in general, they use old, dependent and nonstandardised technologies. This results in an environment in which there is no interoperability among smart city systems, preventing richer and more interesting applications to be used by citizens, companies, and city administration. An alternative to solve the lack of interoperability is the adoption of a System-of- Systems (SoS) approach. A SoS is a set of independent and heterogeneous constituent systems that interoperate to accomplish a global mission. The collaboration among such constituent systems enables a SoS to offer new functionalities that cannot be provided by any of these systems working as individual entities. The goal of this paper is to propose SoS-centric middleware services to support the management and execution of SoS in Smart Cities environments in a dynamic, transparent and scalable way. The proposed services, once integrated into a smart city platform, support interoperability among different systems operating in a city. Moreover, this paper also presents a motivational case study to make it clear the issues that must be addressed when multiple independent systems are brought together to provide a new Smart City service or application

Influência da heterogeneidade de tamanho na sobrevivência, crescimento e canibalismo em juvenis do bijupirá (Rachycentron canadum)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Agrárias, Programa de Pós-Graduação em Aqüicultura, Florianópolis, 2011O bijupirá (Rachycentron canadum) é uma espécie que possui um rápido crescimento, principalmente durante a fase larval e juvenil. Tal fator contribui para a heterogeneidade de tamanho entre os peixes de uma mesma desova. O presente estudo foi divido em dois experimentos, ambos com duração de sessenta dias. Os peixes foram alimentados até a saciedade, duas vezes ao dia. O primeiro experimento comparou o crescimento, a sobrevivência e o canibalismo entre um lote homogêneo e outro heterogêneo. O peso médio inicial dos juvenis de ambos os tratamentos foi de 4,60 g e a densidade inicial de 0,11 g/L. A taxa de crescimento específica (4,34% /dia), o peso médio final (63,09 g) e a sobrevivência (98,00%) foram semelhantes nos dois tratamentos. O canibalismo foi responsável por 5,62% de mortalidade no lote heterogêneo, enquanto que no homogêneo ele não ocorreu. O segundo experimento avaliou o crescimento e o ganho em biomassa, de três lotes de peixes homogêneos, pequenos (P), médios (M) e grandes (G), submetidos à mesma densidade (0,08 g/L). O tratamento P apresentou a maior taxa de ganho em peso (2059 %), em relação aos tratamentos M (1323 %,) e G (1013%). Os resultados do primeiro experimento mostraram que as condições ambientais empregadas não estimularam a competição por alimento, proporcionando o mesmo crescimento aos dois diferentes grupos (homogêneo e heterogêneo). A seleção de juvenis por tamanho não contribuiu para um melhor crescimento. No segundo experimento, o crescimento dos juvenis foi menor nos tratamentos M e G que foram estocados em menor número de peixes (30 e 19 respectivamente). Provavelmente este resultado foi devido a uma menor interação social dos peixes nos tratamentos M e G. Os dois experimentos indicaram que o crescimento dos juvenis foi afetado pelos diferentes comportamentos alimentares observados em cada tratamento e pela quantidade de peixes estocados